formal: post formality check comments to PRs master
authorGeorge Sapkin <[email protected]>
Mon, 15 Dec 2025 15:20:24 +0000 (17:20 +0200)
committerPaul Donald <[email protected]>
Mon, 15 Dec 2025 20:40:40 +0000 (21:40 +0100)
commita0531c7822bc928626b801c7f3bbdc49163a25e8
tree320372e56d29a48618de5aec9c8acbe14cf9cbd2
parent6b45572ea48151a365528c1deab5a5a764e531a8
formal: post formality check comments to PRs

Enable posting formality check comments and warn if 'Allow edits and
access to secrets by maintainers' is not checked.

Signed-off-by: George Sapkin <[email protected]>
.github/workflows/formal.yml